Chinese translation for "program assertion"

请参阅程序断言

Related Translations:

assertion:  n.1.主张，断言，确言。2.维护，坚持。短语和例子stand to one's assertion 坚持己见。

extrajudicial assertion:  审判外的主张

global assertion:  全局断言

assertion database:  断言数据库

intermittent assertion:  间歇断言

assertion element:  断言元素

dynamic assertion:  动态断言动态判定

assertion checking:  断言检查 用户在程序中嵌入的断言的检查。

assertion language:  判定语言

transition assertion:  变迁断言

Example Sentences:

1.

A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions ）通常，时态逻辑构建于一组更简单的原子（小单元）命题之上，如传统程序断言。

Similar Words：

"program area block" Chinese translation, "program argument" Chinese translation, "program arranger" Chinese translation, "program assembly" Chinese translation, "program assembly language" Chinese translation, "program association table" Chinese translation, "program assurance" Chinese translation, "program attention key" Chinese translation, "program audit" Chinese translation, "program auditing" Chinese translation